REF, NoConds
\\[0ex]ParallelOp \$hyp $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ParallelOp ( \$hyp)$\cdot$